Modular Compilation of Synchronous Programs
نویسندگان
چکیده
We present a new method for modular compilation of synchronous programs given in imperative languages like Quartz or Esterel. The main idea of our approach consists of computing sequential jobs that correspond with control flow locations of the program. Each job encodes that part of an instantaneous reaction that is triggered by the activation of the corresponding control flow location. The special consideration of the initial job that is executed at initial time yields a simple method for modular code generation.
منابع مشابه
Distributing Synchronous Programs Using Bounded Queues, a coordinated traffic signal application
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [10] across networks using bounded FIFO queues. The problem is first addressed mathematically. Then, based on these formal results, a software library for the modular compilation and distribution of Simulink program is given. The performance the library is given. The value of synchronous programming...
متن کاملModular Compilation of a Synchronous Language
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing the reliability of systems, especially those which are safety or business critical. It is still difficult to develop automatic specification and verification tools due to limitations like state explosion, undecidabilit...
متن کاملUsing Modular Pole for Multi-Objective Design Optimization of a Linear Permanent Magnet Synchronous Motor by Particle Swarm Optimization (PSO)
In this paper particle swarm optimization (PSO) is used for a design optimization of a linear permanent magnet synchronous motor (LPMSM) considering ultra low thrust force ripples, low magnet consumption, improved efficiency and thrust. The influence of PM material is discussed, too and the modular poles are proposed to achieve the best characteristic. PM dimensions and material, air gap and mo...
متن کاملReactive Types
Synchronous languages, such as Signal, are best suited for the design of dependable real-time systems. Synchronous languages enable a very high-level speciication and an extremely modular implementation of complex systems by structurally decomposing them into elementary synchronous processes. Separate compilation in reactive languages is however made a diicult issue by global safety requirement...
متن کاملSpectators and Assistants: Enabling Modular Aspect-Oriented Reasoning
In current aspect-oriented languages, separate compilation and modular reasoning are not possible. This detracts from comprehensibility and impedes maintenance efforts. We describe language features that would allow aspect-oriented languages to provide separate compilation and modular reasoning. We demonstrate that existing programs written in AspectJ can be easily rewritten using these features.
متن کامل